SPT - The SDL Pattern Tool
نویسندگان
چکیده
منابع مشابه
Combining SDL Patterns with Continuous Quality Improvement: An Experience Factory Tailored to SDL Patterns
An SDL pattern is a reusable software artifact representing a generic solution for a recurring design problem. It is required that SDL be the applied design language. However, just offering an SDL pattern pool to the system designer will not result in the expected benefits of software reuse, such as shorter development cycles, improved quality, or easier maintenance of the resulting products. A...
متن کاملUsing SDL for Prototyping Low Rate Wireless Personal Area Networks
This paper describes the use of the specification and description language (SDL) as a prototyping tool for a developing low rate wireless personal area network protocol. A simplification of the guidelines for protocol formalization using SDL is used to create a behavioral model. This behavior model is then hand-tested for protocol behavior using software tools that permit simulation of the SDL ...
متن کاملSDL Versus C Equivalence Checking
We present a tool that automatically checks the existence of a bisimulation relation between an SDL specification and the corresponding auto-generated C code. The tool has been used to verify part of the C implementation of a WiFi Medium Access Controller (i.e.; IEEE 802.11) that has been derived from its original SDL specification using the Telelogic CAdvanced Code Generator.
متن کاملTowards an Experimental Evaluation of SDL-Pattern based Protocol Design
In order to improve the quality of software systems and to set up a more effective process for their development, many attempts have been made in the field of software engineering. Reuse of existing knowledge is seen as a promising way to solve the outstanding problems in this field. In previous work we have integrated the design pattern concept with the formal design language SDL, resulting in...
متن کاملMOBY { More than a Tool for the Veri cation ofSDL -
In this paper a new approach to the veriication of SDL-speciications is presented. The key idea of the method consists of associating a com-positional Petri net semantics to SDL-speciications. A temporal logic is deened which allows the formulation of relevant properties of SDL-speciications. The model checking problem for SDL-speciications according to this logic is then reduced to the model c...
متن کامل